interactive proof system - Turc Anglais Dictionnaire